Vers l'Exécutabilité des Modèles de Procédés Logiciels
نویسندگان
چکیده
Résumé. L'un des enjeux majeurs de l'ingénierie dirigée par les modèles est d'augmenter la productivité des logiciels à travers la manipulation de modèles dès les premières phases de développement. La finalité étant de pouvoir utiliser les modèles non seulement pour des fins de compréhension et de description mais aussi de production. Les modèles de procédés de développement logiciels sont au cœur de la démarche de construction du logiciel. Cependant, à ce jour, ils ne sont utilisés que pour documenter les procédés et demeurent des modèles contemplatifs. Le but de nos travaux est de les rendre productifs, permettant ainsi une meilleure coordination entre les équipes de développement, l'automatisation des tâches répétitives et non interactives et une gestion plus efficace des moyens utilisés pendant les phases de développement. A cet effet, nous proposons UML4SPM, un langage exécutable et orienté modèle pour la modélisation de procédés de développement logiciel.
منابع مشابه
Contribution à la conception à base de composants logiciels d'applications scientifiques parallèles. (Contribution to the design of scientific parallel applications based on software components)
ion des ressources Afin de faciliter le portage de l’application, le modèle de programmation utilisé doit permettre d’abstraire la conception d’applications des ressources visées. En effet, chaque application doit être optimisée en fonction des ressources d’exécution. Il est donc nécessaire d’adapter certaines parties de l’application. Les modèles de composants logiciels doivent permettre d’exp...
متن کاملComposition des modèles de lignes de produits logiciels. (Composition of software product line models)
متن کامل
Sélection Bayésienne de Modèles avec Prior Dépendant des Données
Résumé. Cet article analyse la consistance asymptotique des modèles en grille appliqués à l’estimation de densité jointe de deux variables catégorielles. Les modèles en grille considèrent un partitionnement des valeurs de chacune des variables, le produit Cartésien des partitions formant une grille dont les cellules permettent de résumer la table de contingence des deux variables. Le meilleur m...
متن کاملPrédiction de Performances pour les Communications Collectives
Résumé Des travaux récents visent l’optimisation des opérations de communication collective dans les environnements de type grille de calcul. La solution la plus répandue est la séparation des communications internes et externes à chaque grappe, mais cela n’exclut pas le découpage des communications en plusieurs couches, pratique efficace démontrée par Karonis et al. [10]. Dans les deux cas, la...
متن کامل